An automated tool for semantic accessing to formal software models
نویسندگان
چکیده
منابع مشابه
Transitioning Applications to Semantic Web Services: An Automated Formal Approach
Semantic Web Services [MSZ01] have been recognized as a promising technology that exhibits huge commercial potential, and attract significant attention from both industry and the research community. Despite expectations being high, the industrial take-up of Semantic Web Service technologies has been slower than expected. One of the main reasons is that many systems have been developed without c...
متن کاملa new approach to credibility premium for zero-inflated poisson models for panel data
هدف اصلی از این تحقیق به دست آوردن و مقایسه حق بیمه باورمندی در مدل های شمارشی گزارش نشده برای داده های طولی می باشد. در این تحقیق حق بیمه های پبش گویی بر اساس توابع ضرر مربع خطا و نمایی محاسبه شده و با هم مقایسه می شود. تمایل به گرفتن پاداش و جایزه یکی از دلایل مهم برای گزارش ندادن تصادفات می باشد و افراد برای استفاده از تخفیف اغلب از گزارش تصادفات با هزینه پائین خودداری می کنند، در این تحقیق ...
15 صفحه اولAutomated Test-Data Generation from Formal Models of Software
ion for Model Checking Software Systems with In-terrelated Numeric Constraints. In 9th ACM Foundations of Sofware Eng. Symp., September 2001.[2] M. P. E. Heimdahl, S. Rayadurgam, and W. Visser. Specification Centered Testing. In 2nd Automated Program Analysis,Testing and Verification Workshop, May 2001.[3] S. Rayadurgam and M. P. E. Heimdahl. Coverage Based TestCase Generation U...
متن کاملAutomated Tools for Teaching Formal Software Verification
We present the status of formal methods at our university, and describe our course on formal software verification in more detail. We report our experiences in using Perfect Developer for the course assignments.
متن کاملIDATG: An Open Tool for Automated Testing of Interactive Software
The IDATG (Integrating Design and Automated Test Case Generation) specification technique and tool is introduced. It is designed for the automated generation of test cases during the testing of interactive industrial applications. In addition to checking the application’s usability, IDATG supports both the specification of the behavior of a user interface and the generation of two types of test...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2014.02.027